(C) Check for undefined results of binary operators.